/**
 * @author Maximilian Csuk
 * @author Konrad Paumann
 * @author Bernhard Denner
 */

public interface Number extends Node {
	//TODO
}
